bitkeeper revision 1.1159.1.388 (418cd911S4GHR23WmcIAsrA5z4WmNg)

Better latex2html options.

diff --git a/docs/Makefile b/docs/Makefile
index e685704bea5a9311963a88368d0a1d1e6a6141d5..86b5d8f1b1ee9c43ea42e4bfa9585e8ef2dbaf62 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -47,4 +47,5 @@ ps/%.ps: %.dvi
 html/%/index.html: src/%.tex
        mkdir -p html/$*
        latex2html -split 0 -show_section_numbers -toc_depth 3 -nonavigation \
-       -noinfo -math -dir html/$* $< 1>/dev/null 2>/dev/null
+       -numbered_footnotes -local_icons -noinfo -math -dir html/$* \
+       $< 1>/dev/null 2>/dev/null